Expressive equivalence of least and inflationary fixed-point logic
نویسندگان
چکیده
منابع مشابه
Expressive Equivalence of Least and Inflationary Fixed-Point Logic
We study the relationship between least and inflationary fixed-point logic. By results of Gurevich and Shelah from 1986, it has been known that on finite structures both logics have the same expressive power. On infinite structures however, the question whether there is a formula in IFP not equivalent to any LFP-formula was still open. In this paper, we settle the question by showing that both ...
متن کاملOn the Expressive Power of Monadic Least Fixed Point Logic
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take a closer look at the expressive power of MLFP. Our results are (1) MLFP can describe graph properties beyond any fixed level of the monadic secondorder quantifier alternation hierarchy. (2) On strings with built-in addit...
متن کاملLattice based Least Fixed Point Logic
As software systems become more complex, there is an increasing need for new static analyses. Thanks to the declarative style, logic programming is an attractive formalism for specifying them. However, prior work on using logic programming for static analysis focused on analyses defined over some powerset domain, which is quite limiting. In this paper we present a logic that lifts this restrict...
متن کاملOn the Expressive Power of Monadic Least Fixed Point Logic (Full Version)
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take a closer look at the expressive power of MLFP. Our results are 1. MLFP can describe graph properties beyond any fixed level of the monadic second-order quantifier alternation hierarchy. 2. On strings with built-in additi...
متن کاملThe Expressive Power of Two-Variable Least Fixed-Point Logics
The present paper gives a classification of the expressive power of two-variable least fixed-point logics. The main results are: 1. The two-variable fragment of monadic least fixed-point logic with parameters is as expressive as full monadic least fixed-point logic (on binary structures). 2. The two-variable fragment of monadic least fixed-point logic without parameters is as expressive as the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.02.001